package net.openvision.util.logical;

public class ExistsLogicalExpression extends QuantifierLogicalExpression {

	public ExistsLogicalExpression(LogicalExpression a, Iterable<Object> set) {
		super(a, set);
	}

	@Override
	public boolean combineResult(boolean result, boolean newResult) {
		return result || newResult;
	}
	
	@Override
	public boolean initialResult() {
		return false;
	}

}
